Optimal. Leaf size=519 \[ -\frac {2 a b j (f i-e j) p q x}{f h}-\frac {2 a b j (h i-g j) p q x}{h^2}+\frac {2 b^2 j (f i-e j) p^2 q^2 x}{f h}+\frac {2 b^2 j (h i-g j) p^2 q^2 x}{h^2}+\frac {b^2 j^2 p^2 q^2 (e+f x)^2}{4 f^2 h}-\frac {2 b^2 j (f i-e j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2 h}-\frac {2 b^2 j (h i-g j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f h^2}-\frac {b j^2 p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2 h}+\frac {j (f i-e j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2 h}+\frac {j (h i-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {j^2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2 h}+\frac {(h i-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\frac {2 b (h i-g j)^2 p q \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \text {Li}_2\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\frac {2 b^2 (h i-g j)^2 p^2 q^2 \text {Li}_3\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.89, antiderivative size = 519, normalized size of antiderivative = 1.00, number
of steps used = 20, number of rules used = 13, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.371, Rules
used = {2465, 2436, 2333, 2332, 2443, 2481, 2421, 6724, 2448, 2437, 2342, 2341, 2495}
\begin {gather*} \frac {2 b p q (h i-g j)^2 \text {PolyLog}\left (2,-\frac {h (e+f x)}{f g-e h}\right ) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{h^3}-\frac {2 b^2 p^2 q^2 (h i-g j)^2 \text {PolyLog}\left (3,-\frac {h (e+f x)}{f g-e h}\right )}{h^3}+\frac {j (e+f x) (f i-e j) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2 h}-\frac {b j^2 p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2 h}+\frac {j^2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2 h}+\frac {(h i-g j)^2 \log \left (\frac {f (g+h x)}{f g-e h}\right ) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{h^3}+\frac {j (e+f x) (h i-g j) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}-\frac {2 a b j p q x (f i-e j)}{f h}-\frac {2 a b j p q x (h i-g j)}{h^2}-\frac {2 b^2 j p q (e+f x) (f i-e j) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2 h}-\frac {2 b^2 j p q (e+f x) (h i-g j) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f h^2}+\frac {b^2 j^2 p^2 q^2 (e+f x)^2}{4 f^2 h}+\frac {2 b^2 j p^2 q^2 x (f i-e j)}{f h}+\frac {2 b^2 j p^2 q^2 x (h i-g j)}{h^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2332
Rule 2333
Rule 2341
Rule 2342
Rule 2421
Rule 2436
Rule 2437
Rule 2443
Rule 2448
Rule 2465
Rule 2481
Rule 2495
Rule 6724
Rubi steps
\begin {align*} \int \frac {(530+j x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{g+h x} \, dx &=\text {Subst}\left (\int \frac {(530+j x)^2 \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{g+h x} \, dx,c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\text {Subst}\left (\int \left (\frac {j (530 h-g j) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{h^2}+\frac {(530 h-g j)^2 \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{h^2 (g+h x)}+\frac {j (530+j x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{h}\right ) \, dx,c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\text {Subst}\left (\frac {j \int (530+j x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\text {Subst}\left (\frac {(j (530 h-g j)) \int \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{h^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\text {Subst}\left (\frac {(530 h-g j)^2 \int \frac {\left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{g+h x} \, dx}{h^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\text {Subst}\left (\frac {j \int \left (\frac {(530 f-e j) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{f}+\frac {j (e+f x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{f}\right ) \, dx}{h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\text {Subst}\left (\frac {(j (530 h-g j)) \text {Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right )^2 \, dx,x,e+f x\right )}{f h^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {\left (2 b f (530 h-g j)^2 p q\right ) \int \frac {\left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right ) \log \left (\frac {f (g+h x)}{f g-e h}\right )}{e+f x} \, dx}{h^3},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\frac {j (530 h-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\text {Subst}\left (\frac {j^2 \int (e+f x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{f h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\text {Subst}\left (\frac {(j (530 f-e j)) \int \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{f h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {(2 b j (530 h-g j) p q) \text {Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right ) \, dx,x,e+f x\right )}{f h^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {\left (2 b (530 h-g j)^2 p q\right ) \text {Subst}\left (\int \frac {\left (a+b \log \left (c d^q x^{p q}\right )\right ) \log \left (\frac {f \left (\frac {f g-e h}{f}+\frac {h x}{f}\right )}{f g-e h}\right )}{x} \, dx,x,e+f x\right )}{h^3},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac {2 a b j (530 h-g j) p q x}{h^2}+\frac {j (530 h-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\frac {2 b (530 h-g j)^2 p q \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \text {Li}_2\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}+\text {Subst}\left (\frac {j^2 \text {Subst}\left (\int x \left (a+b \log \left (c d^q x^{p q}\right )\right )^2 \, dx,x,e+f x\right )}{f^2 h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\text {Subst}\left (\frac {(j (530 f-e j)) \text {Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right )^2 \, dx,x,e+f x\right )}{f^2 h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {\left (2 b^2 j (530 h-g j) p q\right ) \text {Subst}\left (\int \log \left (c d^q x^{p q}\right ) \, dx,x,e+f x\right )}{f h^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {\left (2 b^2 (530 h-g j)^2 p^2 q^2\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {h x}{f g-e h}\right )}{x} \, dx,x,e+f x\right )}{h^3},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac {2 a b j (530 h-g j) p q x}{h^2}+\frac {2 b^2 j (530 h-g j) p^2 q^2 x}{h^2}-\frac {2 b^2 j (530 h-g j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f h^2}+\frac {j (530 f-e j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2 h}+\frac {j (530 h-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {j^2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2 h}+\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\frac {2 b (530 h-g j)^2 p q \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \text {Li}_2\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\frac {2 b^2 (530 h-g j)^2 p^2 q^2 \text {Li}_3\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\text {Subst}\left (\frac {\left (b j^2 p q\right ) \text {Subst}\left (\int x \left (a+b \log \left (c d^q x^{p q}\right )\right ) \, dx,x,e+f x\right )}{f^2 h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\text {Subst}\left (\frac {(2 b j (530 f-e j) p q) \text {Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right ) \, dx,x,e+f x\right )}{f^2 h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac {2 a b j (530 f-e j) p q x}{f h}-\frac {2 a b j (530 h-g j) p q x}{h^2}+\frac {2 b^2 j (530 h-g j) p^2 q^2 x}{h^2}+\frac {b^2 j^2 p^2 q^2 (e+f x)^2}{4 f^2 h}-\frac {2 b^2 j (530 h-g j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f h^2}-\frac {b j^2 p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2 h}+\frac {j (530 f-e j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2 h}+\frac {j (530 h-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {j^2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2 h}+\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\frac {2 b (530 h-g j)^2 p q \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \text {Li}_2\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\frac {2 b^2 (530 h-g j)^2 p^2 q^2 \text {Li}_3\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\text {Subst}\left (\frac {\left (2 b^2 j (530 f-e j) p q\right ) \text {Subst}\left (\int \log \left (c d^q x^{p q}\right ) \, dx,x,e+f x\right )}{f^2 h},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac {2 a b j (530 f-e j) p q x}{f h}-\frac {2 a b j (530 h-g j) p q x}{h^2}+\frac {2 b^2 j (530 f-e j) p^2 q^2 x}{f h}+\frac {2 b^2 j (530 h-g j) p^2 q^2 x}{h^2}+\frac {b^2 j^2 p^2 q^2 (e+f x)^2}{4 f^2 h}-\frac {2 b^2 j (530 f-e j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2 h}-\frac {2 b^2 j (530 h-g j) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f h^2}-\frac {b j^2 p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2 h}+\frac {j (530 f-e j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2 h}+\frac {j (530 h-g j) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f h^2}+\frac {j^2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2 h}+\frac {(530 h-g j)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )}{h^3}+\frac {2 b (530 h-g j)^2 p q \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \text {Li}_2\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}-\frac {2 b^2 (530 h-g j)^2 p^2 q^2 \text {Li}_3\left (-\frac {h (e+f x)}{f g-e h}\right )}{h^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.44, size = 927, normalized size = 1.79 \begin {gather*} \frac {4 f^2 h j (2 h i-g j) x \left (a-b p q \log (e+f x)+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2+2 f^2 h^2 j^2 x^2 \left (a-b p q \log (e+f x)+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2+4 f^2 (h i-g j)^2 \left (a-b p q \log (e+f x)+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \log (g+h x)-8 b f^2 h^2 i^2 p q \left (-a+b p q \log (e+f x)-b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \left (\log (e+f x) \log \left (\frac {f (g+h x)}{f g-e h}\right )+\text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )\right )-16 b f h i j p q \left (-a+b p q \log (e+f x)-b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \left (-h (e+f x)+\log (e+f x) \left (e h+f h x-f g \log \left (\frac {f (g+h x)}{f g-e h}\right )\right )-f g \text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )\right )+2 b j^2 p q \left (-a+b p q \log (e+f x)-b \log \left (c \left (d (e+f x)^p\right )^q\right )\right ) \left (f h (f x (-4 g+h x)-2 e (2 g+h x))+2 \log (e+f x) \left (h (e+f x) (2 f g+e h-f h x)-2 f^2 g^2 \log \left (\frac {f (g+h x)}{f g-e h}\right )\right )-4 f^2 g^2 \text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )\right )+8 b^2 f h i j p^2 q^2 \left (h \left (2 f x-2 (e+f x) \log (e+f x)+(e+f x) \log ^2(e+f x)\right )-f g \left (\log ^2(e+f x) \log \left (\frac {f (g+h x)}{f g-e h}\right )+2 \log (e+f x) \text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )-2 \text {Li}_3\left (\frac {h (e+f x)}{-f g+e h}\right )\right )\right )-b^2 j^2 p^2 q^2 \left (4 f g h \left (2 f x-2 (e+f x) \log (e+f x)+(e+f x) \log ^2(e+f x)\right )+h^2 \left (f x (6 e-f x)+\left (-6 e^2-4 e f x+2 f^2 x^2\right ) \log (e+f x)+2 \left (e^2-f^2 x^2\right ) \log ^2(e+f x)\right )-4 f^2 g^2 \left (\log ^2(e+f x) \log \left (\frac {f (g+h x)}{f g-e h}\right )+2 \log (e+f x) \text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )-2 \text {Li}_3\left (\frac {h (e+f x)}{-f g+e h}\right )\right )\right )+4 b^2 f^2 h^2 i^2 p^2 q^2 \left (\log ^2(e+f x) \log \left (\frac {f (g+h x)}{f g-e h}\right )+2 \log (e+f x) \text {Li}_2\left (\frac {h (e+f x)}{-f g+e h}\right )-2 \text {Li}_3\left (\frac {h (e+f x)}{-f g+e h}\right )\right )}{4 f^2 h^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.35, size = 0, normalized size = 0.00 \[\int \frac {\left (j x +i \right )^{2} \left (a +b \ln \left (c \left (d \left (f x +e \right )^{p}\right )^{q}\right )\right )^{2}}{h x +g}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \log {\left (c \left (d \left (e + f x\right )^{p}\right )^{q} \right )}\right )^{2} \left (i + j x\right )^{2}}{g + h x}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (i+j\,x\right )}^2\,{\left (a+b\,\ln \left (c\,{\left (d\,{\left (e+f\,x\right )}^p\right )}^q\right )\right )}^2}{g+h\,x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________